241.71/246.26	unsat
