5.02/5.05	unsat
