30.23/30.30	unsat
