18.95/19.17	unsat
