32.31/32.45	unsat
