241.85/244.13	unsat
