92.64/92.87	unsat
