6.18/13.02	unsat
