18.98/19.26	unsat
