710.80/713.88	unsat
