706.91/708.59	unsat
