30.07/30.23	unsat
