705.91/708.24	unsat
