3.99/5.05	unsat
