241.15/242.28	unsat
