713.81/720.29	unsat
