18.98/19.06	unsat
