32.66/34.77	unsat
