18.95/19.26	unsat
