30.29/30.31	unsat
