19.05/19.82	unsat
