91.13/92.92	unsat
