32.17/32.97	unsat
