30.93/34.18	unsat
