32.15/34.77	unsat
