18.39/20.10	unsat
