716.64/719.40	unsat
