92.17/92.45	unsat
