92.66/92.93	unsat
