699.84/702.56	unsat
