2.97/3.05	unsat
