241.85/244.26	unsat
