32.01/32.18	unsat
