30.55/34.51	unsat
