5.68/6.05	unsat
