32.69/34.17	unsat
