30.19/30.31	unsat
