717.90/719.21	unsat
