243.60/248.26	unsat
