30.18/34.52	unsat
