30.72/34.58	unsat
