30.24/33.38	unsat
