716.50/719.54	unsat
