714.99/716.47	unsat
