18.07/30.20	unsat
