17.15/18.06	unsat
