298.24/303.58	unsat
