18.76/19.35	unsat
