32.09/32.66	unsat
