5.11/6.02	unsat
