246.74/248.48	unsat
