32.11/32.46	unsat
