0.02/0.05	unsat
