32.12/32.45	unsat
