30.07/30.17	unsat
