18.95/19.13	unsat
