18.82/19.77	unsat
