241.88/244.71	unsat
