initial implementation of WSAT test complete