3.97/4.05	unsat
