706.24/708.58	unsat
