29.54/30.18	unsat
