6.02/6.05	unsat
