32.96/34.12	unsat
