244.75/246.86	unsat
