248.71/250.26	unsat
