30.03/34.13	unsat
