17.27/19.06	unsat
