19.25/20.85	unsat
