248.77/250.85	unsat
