18.69/19.80	unsat
