0.03/0.05	unsat
