241.47/244.49	unsat
