31.34/32.36	unsat
