248.94/251.60	unsat
