696.34/699.59	unsat
