18.85/19.82	unsat
