32.02/32.12	unsat
