2.98/3.05	unsat
