0.04/0.05	unsat
