30.84/34.34	unsat
