92.63/92.91	unsat
