32.01/32.73	unsat
