714.93/719.21	unsat
