30.93/34.69	unsat
