6.28/7.02	unsat
