17.36/19.06	unsat
