92.46/95.66	unsat
