18.35/19.65	unsat
