92.43/92.66	unsat
