5.28/6.05	unsat
