6.78/9.02	unsat
