18.66/19.35	unsat
