706.98/708.52	unsat
