18.55/19.82	unsat
